Nuprl Definition : w-index
11,40
postcript
pdf
index(
e
) == ||rcvs(lnk(kind(
e
));time(
e
))|| - ||snds(lnk(kind(
e
));time(sender(
e
)))||
latex
clarification:
w-index(
w
;
e
)
== ||w-rcvs(
w
; lnk(w-ekind(
w
;
e
)); w-time(
w
;
e
))||
==
- ||w-snds(
w
; lnk(w-ekind(
w
;
e
)); w-time(
w
; w-sender(
w
;
e
)))||
latex
Definitions
n
-
m
,
rcvs(
l
;
t
)
,
||
as
||
,
snds(
l
;
t
)
,
lnk(
k
)
,
kind(
e
)
,
time(
e
)
,
sender(
e
)
FDL editor aliases
w-index
origin